All semantic rules used with the max degree of parallelism 當(dāng)使用maxdop查詢提示時(shí),所有和
It is a set of syntactic and semantic rules used to define computer programs 這是過去常常確定計(jì)算機(jī)程序的一套句法和語義的規(guī)章。
An alternative approach is to treat the ontology as a regular rdf model , and simply add statements defining its semantic rules 備選方法將本體看作特殊rdf模型,僅添加定義其語義規(guī)則的語句。
The metaphoric cognitive mechanism affects the syntagmatic and paradigmatic relations in sentences and it can change the original semantic rule of the sentence 同時(shí),隱喻又是人類認(rèn)知世界過程中一種不可缺少的重要方式和手段,它的認(rèn)知功能直接影響著句子的組合關(guān)系,可以改變句子原有的語義規(guī)則。
The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms 摘要分析認(rèn)知邏輯中的邏輯全知問題及其解決方法,提出一種可以避免邏輯全知的認(rèn)知邏輯el ,并給出其語義和公理系統(tǒng)。
The set of diagnosable rules consist of all syntactic and semantic rules in this internationa standard except for those rules containing an explicit notation that “ no diagnostic is required ” or which are described as resulting in “ undefined behavior “可診斷規(guī)則”的集合是由除了被明確標(biāo)記為“無需診斷”或以導(dǎo)致“未定義行為”來描述的規(guī)則外,本標(biāo)準(zhǔn)中的所有語法的和語義的規(guī)則組成。
The solution can choose the fittest learning objects for different learners to fulfill their demands , and it can navigate intelligently for the learners . firstly , the thesis introduces the development of e - learning , and analyses the problem of the resources heterogeneity and user needs personalization in e - leaning ; secondly , it introduces the technology and application of ontology and owl which is recommended by w3c latest , and brings up an elementary obtm ( ontology - based teaching model ) to support personal application . it also presents a mechanism of semantic expressing of heterogeneous teaching resources in order to establishe the foundation for the realization of semantic access and personal application to the unstructured teaching information ; next , based on obtm , the thesis creates pedagogical rules and semantic rules 本文首先介紹了e - learning的發(fā)展現(xiàn)狀,并對(duì)e - learning中遇到的資源異構(gòu)和用戶個(gè)性化需求的問題進(jìn)行了分析;然后,對(duì)ontology與w3c最新推薦的owl本體描述語言的特點(diǎn)及應(yīng)用分別進(jìn)行了介紹,初步設(shè)計(jì)了支持個(gè)性化應(yīng)用和描述的教學(xué)本體模型obtm ( ontology - basedteachingmodel ) ,給出了一種面向語義的非結(jié)構(gòu)化教學(xué)資源的表示機(jī)制,為實(shí)現(xiàn)非結(jié)構(gòu)化教學(xué)信息的語義訪問和個(gè)性化應(yīng)用奠定了基礎(chǔ);在obtm模型的基礎(chǔ)上,本文結(jié)合jena推理機(jī)制,制定了“個(gè)性化”的教學(xué)策略規(guī)則和語義策略規(guī)則,使系統(tǒng)可以利用本體推理技術(shù)實(shí)行教學(xué)內(nèi)容和教學(xué)策略自適應(yīng)控制。
At the same time this chapter introduces the knowledge about parsing rules and the inter - lingual . chapter three describes the method of " binding " disambiguation . it introduces in details the standard of pattern rules and the main disambiguation algorithm based on the matching degree of semantic rules 第三章主要介紹在句法分析過程中利用約束進(jìn)行的語義排歧方法,詳細(xì)介紹了搭配規(guī)則的定義,義原相似度計(jì)算、模式匹配相似度計(jì)算、詞義選擇及結(jié)構(gòu)選擇等算法步驟。